Template:STRUCTURE 1ltl